existential U quantifier存在量词
existential E quantifier存在量词
Existenzquantor existential quantifier存在量词
The Existential Quantifier存在量词
bounded existential quantifier[数] 有界存在量词;有界存在量词英语;有界存在量词
N（名词） a formal device, for which the conventional symbol is ∃, which indicates that the open sentence that follows is true of at least one member of the relevant universe of interpretation, as (∃x) Fx meaning "something is (an) F," "something Fs," or "there are (some) Fs." 存在量词 [logic]